First-order aspects of tree paths
نویسندگان
چکیده
منابع مشابه
First-order aspects of tree paths
Tree paths are investigated using first-order logic. The following results are obtained: (i) every definable path can be defined by a firstorder formula using at most one parameter chosen from the path itself; (ii) a canonical representation of the formulas that define definable paths is obtained; and (iii) every tree that has only finitely many paths that are not definable is n-equivalent to a...
متن کاملFirst Order Paths in Ordered Trees
We give two sufficient conditions on XPath like languages for having first order expressivity, meaning that every first order definable set of paths in an ordered node-labeled tree is definable in that XPath language. They are phrased in terms of expansions of navigational (sometimes called “Core”) XPath. Adding either complementation, or the more elegant conditional paths is sufficient. A cond...
متن کاملGeometrical aspects of first-order optical systems
We reconsider the basic properties of ray-transfer matrices for firstorder optical systems from a geometrical viewpoint. In the paraxial regime of scalar wave optics, there is a wide family of beams for which the action of a raytransfer matrix can be fully represented as a bilinear transformation on the upper complex half-plane, which is the hyperbolic plane. Alternatively, this action can be a...
متن کاملTree-Width for First Order Formulae
We introduce tree-width for first order formulae φ, fotw(φ). We show that computing fotw is fixed-parameter tractable with parameter fotw. Moreover, we show that on classes of formulae of bounded fotw, model checking is fixed parameter tractable, with parameter the length of the formula. This is done by translating a formula φ with fotw(φ) < k into a formula of the k-variable fragment L of firs...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Logic Journal of IGPL
سال: 2015
ISSN: 1367-0751,1368-9894
DOI: 10.1093/jigpal/jzv026